Search results for "definable sets"
showing 1 items of 1 documents
On the points realizing the distance to a definable set
2011
Abstract We prove a definable/subanalytic version of a useful lemma, presumably due to John Nash, concerning the points realizing the Euclidean distance to an analytic submanifold of R n . We present a parameter version of the main result and we discuss the properties of the multifunction obtained.